Reasoning about distances
نویسندگان
چکیده
The paper presents a novel expressive logic-based formalism intended for reasoning about numerical distances. We investigate its computational properties (in particular, show that it is EXPTIMEcomplete) and devise a tableau-based satisfiabilitychecking algorithm. To be able to express knowledge about implicit or unknown distances, we then extend the language with variables ranging over distances and prove that the resulting logic is decidable as well.
منابع مشابه
PROPERTY ANALYSIS OF TRIPLE IMPLICATION METHOD FOR APPROXIMATE REASONING ON ATANASSOVS INTUITIONISTIC FUZZY SETS
Firstly, two kinds of natural distances between intuitionistic fuzzy sets are generated by the classical natural distance between fuzzy sets under a unified framework of residual intuitionistic implication operators. Secondly, the continuity and approximation property of a method for solving intuitionistic fuzzy reasoning are defined. It is proved that the triple implication method for intuitio...
متن کاملSpatio-Temporal Reasoning about Traffic Scenarios
A model of spatial relations between automobiles changing over time needs to trade off expressivity, computational complexity, type of measured data, and closeness to human cognition. We present a common sense theory for reasoning about distances between cars based on two temporal distances between pairs of cars, net time gap and time to collision. We give an axiomatization in the situation cal...
متن کاملDimensional Reasoning with Qualitative and Quantitative Distances
We outline a model of dimensional reasoning on time and space scales which integrates quantitative and qualitative knowledge about distances. At the core of this model lie constraints on interval boundaries, partial ordering and subsumption relations on interval relations and interval boundary constraints, as well as the transformation of interval relations to interval boundary constraints and ...
متن کاملOn the Robustness of Qualitative Distance- and Direction-Reasoning*
This paper focuses on spatial information derived from the composition of two pairs of cardinal directions (e.g., North and North-East) and approximate distances (e.g., near and far), i.e., given the approximate distances a1 (A, B) and a2 (B, C) and the cardinal directions c1 (A, B) and c2 (B, C), what are a3 (A, C) and c3 (A, C)? Spatial reasoning about cardinal directions and approximate dist...
متن کاملSemi - qualitative reasoning about distances : a preliminary
We introduce a family of languages intended for representing knowledge and reasoning about metric (and more general distance) spaces. While the simplest language can speak only about distances between individual objects and Boolean relations between sets, the more expressive ones are capable of capturing notions such as`somewhere in (or somewhere out of) the sphere of a certain radius', `everyw...
متن کامل